Timing Fault Models for Systems with Multiple Timers
نویسندگان
چکیده
Multiple timing faults, although detectable individually, can hide each other’s faulty behavior making the faulty system indistinguishable from a non-faulty one. A set of graph augmentations are introduced for single timing faults. The fault detection capability of the augmentations is analyzed in the presence of multiple timing faults and shown that multiple occurrences of a class of timing faults can be detected.
منابع مشابه
Efficient Test Generation for Army Network Protocols with Conflicting Timers
During the UD’s and CCNY’s ongoing effort to generate conformance tests for the Army network protocol MIL-STD 188-220, a significant obstacle has been addressed—when multiple timers are running simultaneously, a test sequence may become unrealizable if there are conflicting conditions based on a protocol’s timers. This problem, termed the conflicting timers problem, is handled in the hitherto g...
متن کاملTowards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers
A recent model for testing systems with multiple timers is extended to compute proper input delays and timeout settings, and is applied to several types of timers required in a testing procedure. In the model, any transition in the specification can be made conditional on a set of running timers. Depending on the path taken to reach an edge, the values of the timer variables may render the trav...
متن کاملDesign and Analysis of Improved Alarm Delay-Timers
Alarm systems play an important role in industry to notify operators of abnormal or fault situations. In real industrial plants, however, a majority of nuisance alarm signals, including false alarms and missed alarms, interfere with operators' judgment. The technique of delay-timers, a common means to reduce both false alarm rate (FAR) and missed alarm rate (MAR), is widely performed, yet it su...
متن کاملDesign of nonlinear parity approach to fault detection and identification based on Takagi-Sugeno fuzzy model and unknown input observer in nonlinear systems
In this study, a novel fault detection scheme is developed for a class of nonlinear system in the presence of sensor noise. A nonlinear Takagi-Sugeno fuzzy model is implemented to create multiple models. While the T-S fuzzy model is used for only the nonlinear distribution matrix of the fault and measurement signals, a larger category of nonlinear systems is considered. Next, a mapping to decou...
متن کاملHandling Temporal Faults in Ada 2005
Hard real-time systems have stringent deadline requirements, which can be guaranteed at system design time by restricting the computational model so that a careful analysis of execution-time budgets and response-time values can be performed. However, design-time guarantees are not enough in many high-integrity systems, in which some degree of run-time fault-tolerance has to be implemented as we...
متن کامل